Domain relational calculus